Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
191	PDF Document Add to Reading List Source URL: www.triunecontinuum.com Language: English - Date: 2012-06-21 18:00:00 Programming language semantics Formal languages Logical syntax Metalogic Semantics Unified Modeling Language Entity-relationship model Denotational semantics Operational semantics Logic Science Logic in computer science
192	PDF Document Add to Reading List Source URL: www.cs.unipr.it Language: English - Date: 2013-08-29 05:40:27 Logic in computer science Data types Formal methods Programming language semantics Type theory Abstract interpretation Operational semantics Programming language Semantics of programming languages Theoretical computer science Programming language theory Software engineering
193	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-02-16 14:50:09 Mathematics Formal methods Semantics of programming languages Operational semantics Programming language Formal verification Compiler correctness Axiomatic semantics Logic Theoretical computer science Logic in computer science Software engineering
194	PDF Document Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2004-05-06 14:47:43 Applied mathematics Computer science Digital electronics UML diagrams Visual programming languages Finite-state machine State diagram Stateflow Operational semantics Models of computation Theoretical computer science Automata theory
195	PDF Document Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 15:29:33 Applied mathematics Programming language theory Formal languages Formal methods Models of computation Semantics of programming languages Denotational semantics Operational semantics Programming language Theoretical computer science Programming language semantics Logic in computer science
196	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-09-05 08:52:58 Mathematics Mathematical logic Denotational semantics Semantics of programming languages Operational semantics Semantics Domain theory Dana Scott Principle of compositionality Theoretical computer science Logic in computer science Programming language semantics
197	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-27 05:55:04 Logic in computer science Programming language semantics Models of computation Computability theory Metalogic Denotational semantics Free variables and bound variables Operational semantics Entailment Theoretical computer science Logic Mathematical logic
198	PDF Document Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2007-03-16 13:38:06 Formal methods Logic in computer science Programming language semantics Models of computation Meaning Semantics Denotational semantics Operational semantics Philosophy of mathematics Logic Mathematics Theoretical computer science
199	PDF Document Add to Reading List Source URL: cdc.ioc.ee Language: English - Date: 2004-02-13 15:16:19 PLEX Software engineering Control flow Operational semantics Programming language Parallel computing Formal semantics Goto Semantics Logic in computer science Programming language semantics Ericsson